<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
  "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">


<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
    
    <title>Welcome to IBEX’s documentation! &mdash; IBEX 2.2.0 documentation</title>
    
    <link rel="stylesheet" href="_static/classic.css" type="text/css" />
    <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
    
    <script type="text/javascript">
      var DOCUMENTATION_OPTIONS = {
        URL_ROOT:    './',
        VERSION:     '2.2.0',
        COLLAPSE_INDEX: false,
        FILE_SUFFIX: '.html',
        HAS_SOURCE:  true
      };
    </script>
    <script type="text/javascript" src="_static/jquery.js"></script>
    <script type="text/javascript" src="_static/underscore.js"></script>
    <script type="text/javascript" src="_static/doctools.js"></script>
    <script type="text/javascript" src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script>
    <link rel="top" title="IBEX 2.2.0 documentation" href="#" />
    <link rel="next" title="Introduction" href="intro.html" /> 
  </head>
  <body role="document">
    <div class="related" role="navigation" aria-label="related navigation">
      <h3>Navigation</h3>
      <ul>
        <li class="right" style="margin-right: 10px">
          <a href="genindex.html" title="General Index"
             accesskey="I">index</a></li>
        <li class="right" >
          <a href="intro.html" title="Introduction"
             accesskey="N">next</a> |</li>
        <li class="nav-item nav-item-0"><a href="#">IBEX 2.2.0 documentation</a> &raquo;</li> 
      </ul>
    </div>  

    <div class="document">
      <div class="documentwrapper">
        <div class="bodywrapper">
          <div class="body" role="main">
            
  <div class="section" id="welcome-to-ibex-s-documentation">
<h1>Welcome to IBEX&#8217;s documentation!<a class="headerlink" href="#welcome-to-ibex-s-documentation" title="Permalink to this headline">¶</a></h1>
<div class="section" id="the-core-library">
<h2>The Core Library<a class="headerlink" href="#the-core-library" title="Permalink to this headline">¶</a></h2>
<div class="toctree-wrapper compound">
<ul>
<li class="toctree-l1"><a class="reference internal" href="intro.html">Introduction</a><ul>
<li class="toctree-l2"><a class="reference internal" href="intro.html#the-api">The API</a></li>
<li class="toctree-l2"><a class="reference internal" href="intro.html#an-extended-interval-calculator">An extended interval calculator</a></li>
<li class="toctree-l2"><a class="reference internal" href="intro.html#contractor-programming">Contractor programming</a></li>
<li class="toctree-l2"><a class="reference internal" href="intro.html#system-solving-and-global-optimization">System solving and global optimization</a></li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="install.html">Installation (Release 2.4)</a><ul>
<li class="toctree-l2"><a class="reference internal" href="install.html#standard-install">Standard install</a></li>
<li class="toctree-l2"><a class="reference internal" href="install.html#configuration-options">Configuration options</a></li>
<li class="toctree-l2"><a class="reference internal" href="install.html#compiling-a-test-program">Compiling a Test Program</a></li>
<li class="toctree-l2"><a class="reference internal" href="install.html#uninstall">Uninstall</a></li>
<li class="toctree-l2"><a class="reference internal" href="install.html#troubleshooting">Troubleshooting</a></li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="install-2.3.html">Installation (Release 2.3)</a><ul>
<li class="toctree-l2"><a class="reference internal" href="install-2.3.html#linux-and-macos">Linux and MacOS</a></li>
<li class="toctree-l2"><a class="reference internal" href="install-2.3.html#windows">Windows</a></li>
<li class="toctree-l2"><a class="reference internal" href="install-2.3.html#configuration-options">Configuration options</a></li>
<li class="toctree-l2"><a class="reference internal" href="install-2.3.html#troubleshooting">Troubleshooting</a></li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="install-2.3.html">Installation (Release 2.2)</a><ul>
<li class="toctree-l2"><a class="reference internal" href="install-2.3.html#linux-and-macos">Linux and MacOS</a></li>
<li class="toctree-l2"><a class="reference internal" href="install-2.3.html#windows">Windows</a></li>
<li class="toctree-l2"><a class="reference internal" href="install-2.3.html#configuration-options">Configuration options</a></li>
<li class="toctree-l2"><a class="reference internal" href="install-2.3.html#troubleshooting">Troubleshooting</a></li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="tutorial.html">Tutorial</a><ul>
<li class="toctree-l2"><a class="reference internal" href="tutorial.html#basic-interval-computations">Basic Interval computations</a></li>
<li class="toctree-l2"><a class="reference internal" href="tutorial.html#functions">Functions</a></li>
<li class="toctree-l2"><a class="reference internal" href="tutorial.html#constraints">Constraints</a></li>
<li class="toctree-l2"><a class="reference internal" href="tutorial.html#contractors">Contractors</a></li>
<li class="toctree-l2"><a class="reference internal" href="tutorial.html#strategies">Strategies</a></li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="interval.html">Interval Computations</a><ul>
<li class="toctree-l2"><a class="reference internal" href="interval.html#intervals-vectors-and-matrices">Intervals, vectors and matrices</a></li>
<li class="toctree-l2"><a class="reference internal" href="interval.html#container-operations">Container operations</a></li>
<li class="toctree-l2"><a class="reference internal" href="interval.html#set-membership-operations">Set-membership operations</a></li>
<li class="toctree-l2"><a class="reference internal" href="interval.html#geometric-operations">Geometric operations</a></li>
<li class="toctree-l2"><a class="reference internal" href="interval.html#miscellaneous">Miscellaneous</a></li>
<li class="toctree-l2"><a class="reference internal" href="interval.html#interval-arithmetic">Interval arithmetic</a></li>
<li class="toctree-l2"><a class="reference internal" href="interval.html#backward-arithmetic">Backward arithmetic</a></li>
<li class="toctree-l2"><a class="reference internal" href="interval.html#inner-arithmetic">Inner arithmetic</a></li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="function.html">Functions</a><ul>
<li class="toctree-l2"><a class="reference internal" href="function.html#introduction">Introduction</a></li>
<li class="toctree-l2"><a class="reference internal" href="function.html#interval-computations">Interval Computations</a></li>
<li class="toctree-l2"><a class="reference internal" href="function.html#creating-functions-in-c">Creating functions (in C++)</a></li>
<li class="toctree-l2"><a class="reference internal" href="function.html#operations-on-functions">Operations on Functions</a></li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="constraint.html">Constraints</a><ul>
<li class="toctree-l2"><a class="reference internal" href="constraint.html#class-and-fields">Class and Fields</a></li>
<li class="toctree-l2"><a class="reference internal" href="constraint.html#creating-constraints-in-c">Creating constraints (in C++)</a></li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="system.html">Systems</a><ul>
<li class="toctree-l2"><a class="reference internal" href="system.html#class-and-fields">Class and Fields</a></li>
<li class="toctree-l2"><a class="reference internal" href="system.html#creating-systems-in-c">Creating systems (in C++)</a></li>
<li class="toctree-l2"><a class="reference internal" href="system.html#system-transformation">System Transformation</a></li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="minibex.html">The Minibex Language</a><ul>
<li class="toctree-l2"><a class="reference internal" href="minibex.html#introduction">Introduction</a></li>
<li class="toctree-l2"><a class="reference internal" href="minibex.html#examples">Examples</a></li>
<li class="toctree-l2"><a class="reference internal" href="minibex.html#overall-structure">Overall structure</a></li>
<li class="toctree-l2"><a class="reference internal" href="minibex.html#real-and-intervals">Real and Intervals</a></li>
<li class="toctree-l2"><a class="reference internal" href="minibex.html#constants">Constants</a></li>
<li class="toctree-l2"><a class="reference internal" href="minibex.html#variables">Variables</a></li>
<li class="toctree-l2"><a class="reference internal" href="minibex.html#expressions">Expressions</a></li>
<li class="toctree-l2"><a class="reference internal" href="minibex.html#functions">Functions</a></li>
<li class="toctree-l2"><a class="reference internal" href="minibex.html#constraints">Constraints</a></li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="contractor.html">Contractors</a><ul>
<li class="toctree-l2"><a class="reference internal" href="contractor.html#introduction">Introduction</a></li>
<li class="toctree-l2"><a class="reference internal" href="contractor.html#forward-backward">Forward-Backward</a></li>
<li class="toctree-l2"><a class="reference internal" href="contractor.html#intersection-union-etc">Intersection, Union, etc.</a></li>
<li class="toctree-l2"><a class="reference internal" href="contractor.html#propagation">Propagation</a></li>
<li class="toctree-l2"><a class="reference internal" href="contractor.html#hc4">HC4</a></li>
<li class="toctree-l2"><a class="reference internal" href="contractor.html#inverse-contractor">Inverse contractor</a></li>
<li class="toctree-l2"><a class="reference internal" href="contractor.html#shaving">Shaving</a></li>
<li class="toctree-l2"><a class="reference internal" href="contractor.html#acid-3bcid">Acid &amp; 3BCid</a></li>
<li class="toctree-l2"><a class="reference internal" href="contractor.html#polytope-hull">Polytope Hull</a></li>
<li class="toctree-l2"><a class="reference internal" href="contractor.html#exists-and-forall">Exists and ForAll</a></li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="separator.html">Separators</a><ul>
<li class="toctree-l2"><a class="reference internal" href="separator.html#introduction">Introduction</a></li>
<li class="toctree-l2"><a class="reference internal" href="separator.html#separator-algebra">Separator Algebra</a></li>
<li class="toctree-l2"><a class="reference internal" href="separator.html#separator-for-a-polygon">Separator for a Polygon</a></li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="set.html">Sets</a><ul>
<li class="toctree-l2"><a class="reference internal" href="set.html#introduction">Introduction</a></li>
<li class="toctree-l2"><a class="reference internal" href="set.html#a-graphical-tool-vibes">A graphical tool: Vibes</a></li>
<li class="toctree-l2"><a class="reference internal" href="set.html#set-creation">Set Creation</a></li>
<li class="toctree-l2"><a class="reference internal" href="set.html#set-exploration">Set Exploration</a></li>
<li class="toctree-l2"><a class="reference internal" href="set.html#file-operations">File operations</a></li>
<li class="toctree-l2"><a class="reference internal" href="set.html#set-intersection">Set Intersection</a></li>
<li class="toctree-l2"><a class="reference internal" href="set.html#set-union">Set Union</a></li>
<li class="toctree-l2"><a class="reference internal" href="set.html#set-contraction">Set Contraction</a></li>
<li class="toctree-l2"><a class="reference internal" href="set.html#set-intervals">Set Intervals</a></li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="strategy.html">Strategies  (<em>under construction</em>)</a><ul>
<li class="toctree-l2"><a class="reference internal" href="strategy.html#bisectors">Bisectors</a></li>
<li class="toctree-l2"><a class="reference internal" href="strategy.html#cell-buffers">Cell buffers</a></li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="reference.html">References</a><ul>
<li class="toctree-l2"><a class="reference internal" href="reference.html#articles-in-journal-and-conferences">Articles in Journal and Conferences</a></li>
<li class="toctree-l2"><a class="reference internal" href="reference.html#books">Books</a></li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="example-slam.html">A complete Example: SLAM with outliers</a><ul>
<li class="toctree-l2"><a class="reference internal" href="example-slam.html#introduction">Introduction</a></li>
<li class="toctree-l2"><a class="reference internal" href="example-slam.html#first-strategy-no-outlier">First strategy (no outlier)</a></li>
<li class="toctree-l2"><a class="reference internal" href="example-slam.html#second-strategy-with-outliers">Second strategy (with outliers)</a></li>
<li class="toctree-l2"><a class="reference internal" href="example-slam.html#third-strategy-how-can-this-scale">Third strategy (how can this scale?)</a></li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="lab.html">Do it Yourself!</a><ul>
<li class="toctree-l2"><a class="reference internal" href="lab.html#set-image">Set image</a></li>
<li class="toctree-l2"><a class="reference internal" href="lab.html#set-inversion-basic">Set inversion (basic)</a></li>
<li class="toctree-l2"><a class="reference internal" href="lab.html#set-inversion-with-contractors">Set inversion (with contractors)</a></li>
<li class="toctree-l2"><a class="reference internal" href="lab.html#set-inversion-using-sets">Set Inversion (using &#8220;Sets&#8221;)</a></li>
<li class="toctree-l2"><a class="reference internal" href="lab.html#parameter-estimation">Parameter Estimation</a></li>
<li class="toctree-l2"><a class="reference internal" href="lab.html#parameter-estimation-advanced">Parameter Estimation (advanced)</a></li>
<li class="toctree-l2"><a class="reference internal" href="lab.html#stability">Stability</a></li>
<li class="toctree-l2"><a class="reference internal" href="lab.html#unstructured-mapping">Unstructured Mapping</a></li>
</ul>
</li>
</ul>
</div>
</div>
<div class="section" id="ibexopt-plugin">
<span id="optim-plugin"></span><h2>IbexOpt Plugin<a class="headerlink" href="#ibexopt-plugin" title="Permalink to this headline">¶</a></h2>
<div class="toctree-wrapper compound">
<ul>
<li class="toctree-l1"><a class="reference internal" href="optim-install.html">Installation (IbexOpt with Ibex 2.4)</a><ul>
<li class="toctree-l2"><a class="reference internal" href="optim-install.html#standard-install">Standard install</a></li>
<li class="toctree-l2"><a class="reference internal" href="optim-install.html#configuration-options">Configuration options</a></li>
<li class="toctree-l2"><a class="reference internal" href="optim-install.html#compiling-and-running-programs">Compiling and running programs</a></li>
<li class="toctree-l2"><a class="reference internal" href="optim-install.html#troubleshooting">Troubleshooting</a></li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="optim-install-2.3.html">Installation (IbexOpt with Ibex 2.3)</a><ul>
<li class="toctree-l2"><a class="reference internal" href="optim-install-2.3.html#linux-and-macos">Linux and MacOS</a></li>
<li class="toctree-l2"><a class="reference internal" href="optim-install-2.3.html#windows">Windows</a></li>
<li class="toctree-l2"><a class="reference internal" href="optim-install-2.3.html#configuration-options">Configuration options</a></li>
<li class="toctree-l2"><a class="reference internal" href="optim-install-2.3.html#troubleshooting">Troubleshooting</a></li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="optim-tutorial.html">Tutorial (IbexOpt)</a><ul>
<li class="toctree-l2"><a class="reference internal" href="optim-tutorial.html#getting-started">Getting started</a></li>
<li class="toctree-l2"><a class="reference internal" href="optim-tutorial.html#solver">Solver</a></li>
<li class="toctree-l2"><a class="reference internal" href="optim-tutorial.html#global-optimizer">Global Optimizer</a></li>
</ul>
</li>
</ul>
</div>
</div>
<div class="section" id="java-plugin-for-choco">
<span id="java-plugin"></span><h2>Java Plugin (for Choco)<a class="headerlink" href="#java-plugin-for-choco" title="Permalink to this headline">¶</a></h2>
<div class="toctree-wrapper compound">
<ul>
<li class="toctree-l1"><a class="reference internal" href="java-install.html">Installation (Java Plugin for Choco with Ibex 2.4)</a><ul>
<li class="toctree-l2"><a class="reference internal" href="java-install.html#standard-install">Standard install</a></li>
<li class="toctree-l2"><a class="reference internal" href="java-install.html#configuration-options">Configuration options</a></li>
<li class="toctree-l2"><a class="reference internal" href="java-install.html#troubleshooting">Troubleshooting</a></li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="java-install-2.3.html">Installation (Java Plugin for Choco with Ibex 2.3)</a><ul>
<li class="toctree-l2"><a class="reference internal" href="java-install-2.3.html#linux-and-macos">Linux and MacOS</a></li>
<li class="toctree-l2"><a class="reference internal" href="java-install-2.3.html#windows">Windows</a></li>
<li class="toctree-l2"><a class="reference internal" href="java-install-2.3.html#configuration-options">Configuration options</a></li>
<li class="toctree-l2"><a class="reference internal" href="java-install-2.3.html#troubleshooting">Troubleshooting</a></li>
</ul>
</li>
</ul>
</div>
</div>
</div>
<div class="section" id="indices-and-tables">
<h1>Indices and tables<a class="headerlink" href="#indices-and-tables" title="Permalink to this headline">¶</a></h1>
<ul class="simple">
<li><a class="reference internal" href="genindex.html"><span>Index</span></a></li>
<li><a class="reference internal" href="py-modindex.html"><span>Module Index</span></a></li>
<li><a class="reference internal" href="search.html"><span>Search Page</span></a></li>
</ul>
</div>


          </div>
        </div>
      </div>
      <div class="sphinxsidebar" role="navigation" aria-label="main navigation">
        <div class="sphinxsidebarwrapper">
  <h3><a href="#">Table Of Contents</a></h3>
  <ul>
<li><a class="reference internal" href="#">Welcome to IBEX&#8217;s documentation!</a><ul>
<li><a class="reference internal" href="#the-core-library">The Core Library</a></li>
<li><a class="reference internal" href="#ibexopt-plugin">IbexOpt Plugin</a></li>
<li><a class="reference internal" href="#java-plugin-for-choco">Java Plugin (for Choco)</a></li>
</ul>
</li>
<li><a class="reference internal" href="#indices-and-tables">Indices and tables</a></li>
</ul>

  <h4>Next topic</h4>
  <p class="topless"><a href="intro.html"
                        title="next chapter">Introduction</a></p>
  <div role="note" aria-label="source link">
    <h3>This Page</h3>
    <ul class="this-page-menu">
      <li><a href="_sources/index.txt"
            rel="nofollow">Show Source</a></li>
    </ul>
   </div>
<div id="searchbox" style="display: none" role="search">
  <h3>Quick search</h3>
    <form class="search" action="search.html" method="get">
      <input type="text" name="q" />
      <input type="submit" value="Go" />
      <input type="hidden" name="check_keywords" value="yes" />
      <input type="hidden" name="area" value="default" />
    </form>
    <p class="searchtip" style="font-size: 90%">
    Enter search terms or a module, class or function name.
    </p>
</div>
<script type="text/javascript">$('#searchbox').show(0);</script>
        </div>
      </div>
      <div class="clearer"></div>
    </div>
    <div class="related" role="navigation" aria-label="related navigation">
      <h3>Navigation</h3>
      <ul>
        <li class="right" style="margin-right: 10px">
          <a href="genindex.html" title="General Index"
             >index</a></li>
        <li class="right" >
          <a href="intro.html" title="Introduction"
             >next</a> |</li>
        <li class="nav-item nav-item-0"><a href="#">IBEX 2.2.0 documentation</a> &raquo;</li> 
      </ul>
    </div>
    <div class="footer" role="contentinfo">
        &copy; Copyright 2014, Gilles Chabert.
      Created using <a href="http://sphinx-doc.org/">Sphinx</a> 1.3.6.
    </div>
  </body>
</html>
